#
# Test suite for the sequence's type checking
#

# Interface's internal type checking tests
ADD_RATHAXES_CWS_TEST(01_A_sequence_mid_no_type.cws)
ADD_RATHAXES_CWS_TEST(01_B_sequence_mid_ambiguous_type.cws)
ADD_RATHAXES_CWS_TEST(01_C_sequence_mid_no_pointcut.cws)
ADD_RATHAXES_CWS_TEST(01_D_sequence_mid_ambiguous_pointcut.cws)
ADD_RATHAXES_CWS_TEST(01_E_sequence_mid_multiple_definition.cws)
ADD_RATHAXES_CWS_TEST(01_F_sequence_mid_ok.cws)

# Type-checking of the sequences in the Back-end
ADD_RATHAXES_CWS_TEST(02_A_sequence_back_undefined.cws)
ADD_RATHAXES_CWS_TEST(02_B_sequence_back_bad_types.cws)
ADD_RATHAXES_CWS_TEST(02_C_sequence_back_ambiguous_types.cws)
ADD_RATHAXES_CWS_TEST(02_D_sequence_back_ambiguous.cws)
ADD_RATHAXES_CWS_TEST(02_E_sequence_back_ok.cws)

# Type-cheking of the sequences in the Front-end
ADD_RATHAXES_CWS_TEST(03_A_sequence_front_undefined.cws)
ADD_RATHAXES_CWS_TEST(03_B_sequence_front_bad_types.cws)
ADD_RATHAXES_CWS_TEST(03_C_sequence_front_ambiguous_types.cws)
ADD_RATHAXES_CWS_TEST(03_D_sequence_front_ambiguous.cws)
ADD_RATHAXES_CWS_TEST(03_E_sequence_front_ok.cws)


#
# Test suite for the type's type checking
#

# Interface's internal type checking tests
ADD_RATHAXES_CWS_TEST(04_A_type_mid_no_decl.cws)
ADD_RATHAXES_CWS_TEST(04_B_type_mid_bad_decl.cws)
ADD_RATHAXES_CWS_TEST(04_C_type_mid_no_body.cws)
ADD_RATHAXES_CWS_TEST(04_D_type_mid_attribute_notype.cws)
ADD_RATHAXES_CWS_TEST(04_E_type_mid_attribute_ambiguoustype.cws)
ADD_RATHAXES_CWS_TEST(04_F_type_mid_method_notype.cws)
ADD_RATHAXES_CWS_TEST(04_G_type_mid_method_ambiguoustype.cws)
ADD_RATHAXES_CWS_TEST(04_H_type_mid_chunk_nochunk.cws)
ADD_RATHAXES_CWS_TEST(04_I_type_mid_chunk_notype.cws)
ADD_RATHAXES_CWS_TEST(04_J_type_mid_chunk_ambiguouspointcut.cws)
ADD_RATHAXES_CWS_TEST(04_K_type_mid_chunk_ambiguoustype.cws)
ADD_RATHAXES_CWS_TEST(04_L_type_mid_ok.cws)

# Backend's type type-checking against mid
ADD_RATHAXES_CWS_TEST(05_A_type_back_notype.cws)
ADD_RATHAXES_CWS_TEST(05_B_type_back_ambiguous.cws)
ADD_RATHAXES_CWS_TEST(05_C_type_back_no_decl.cws)
ADD_RATHAXES_CWS_TEST(05_D_type_back_bad_decl.cws)
ADD_RATHAXES_CWS_TEST(05_E_type_back_attribute_undefined.cws)
ADD_RATHAXES_CWS_TEST(05_F_type_back_method_undefined.cws)
ADD_RATHAXES_CWS_TEST(05_G_type_back_method_badtype.cws)
ADD_RATHAXES_CWS_TEST(05_H_type_back_method_ambiguoustype.cws)
ADD_RATHAXES_CWS_TEST(05_I_type_back_chunk_undefined.cws)
ADD_RATHAXES_CWS_TEST(05_J_type_back_chunk_badtype.cws)
ADD_RATHAXES_CWS_TEST(05_K_type_back_chunk_ambiguoustype.cws)
ADD_RATHAXES_CWS_TEST(05_L_type_back_ok.cws)
